$\forall$$M$:(IdLnk$\rightarrow$Id$\rightarrow$Type), $l$:IdLnk. Msg\_sub($l$;$M$) $\in$ Type